Optimal. Leaf size=116 \[ \frac{(-B+i A) \left (a^3+i a^3 \tan (c+d x)\right )}{d}+\frac{a^3 (B+3 i A) \log (\sin (c+d x))}{d}+\frac{a^3 (3 B+i A) \log (\cos (c+d x))}{d}-4 a^3 x (A-i B)-\frac{a A \cot (c+d x) (a+i a \tan (c+d x))^2}{d} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.29589, antiderivative size = 116, normalized size of antiderivative = 1., number of steps used = 6, number of rules used = 5, integrand size = 34, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.147, Rules used = {3593, 3594, 3589, 3475, 3531} \[ \frac{(-B+i A) \left (a^3+i a^3 \tan (c+d x)\right )}{d}+\frac{a^3 (B+3 i A) \log (\sin (c+d x))}{d}+\frac{a^3 (3 B+i A) \log (\cos (c+d x))}{d}-4 a^3 x (A-i B)-\frac{a A \cot (c+d x) (a+i a \tan (c+d x))^2}{d} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 3593
Rule 3594
Rule 3589
Rule 3475
Rule 3531
Rubi steps
\begin{align*} \int \cot ^2(c+d x) (a+i a \tan (c+d x))^3 (A+B \tan (c+d x)) \, dx &=-\frac{a A \cot (c+d x) (a+i a \tan (c+d x))^2}{d}+\int \cot (c+d x) (a+i a \tan (c+d x))^2 (a (3 i A+B)+a (A+i B) \tan (c+d x)) \, dx\\ &=-\frac{a A \cot (c+d x) (a+i a \tan (c+d x))^2}{d}+\frac{(i A-B) \left (a^3+i a^3 \tan (c+d x)\right )}{d}+\int \cot (c+d x) (a+i a \tan (c+d x)) \left (a^2 (3 i A+B)-a^2 (A-3 i B) \tan (c+d x)\right ) \, dx\\ &=-\frac{a A \cot (c+d x) (a+i a \tan (c+d x))^2}{d}+\frac{(i A-B) \left (a^3+i a^3 \tan (c+d x)\right )}{d}-\left (a^3 (i A+3 B)\right ) \int \tan (c+d x) \, dx+\int \cot (c+d x) \left (a^3 (3 i A+B)-4 a^3 (A-i B) \tan (c+d x)\right ) \, dx\\ &=-4 a^3 (A-i B) x+\frac{a^3 (i A+3 B) \log (\cos (c+d x))}{d}-\frac{a A \cot (c+d x) (a+i a \tan (c+d x))^2}{d}+\frac{(i A-B) \left (a^3+i a^3 \tan (c+d x)\right )}{d}+\left (a^3 (3 i A+B)\right ) \int \cot (c+d x) \, dx\\ &=-4 a^3 (A-i B) x+\frac{a^3 (i A+3 B) \log (\cos (c+d x))}{d}+\frac{a^3 (3 i A+B) \log (\sin (c+d x))}{d}-\frac{a A \cot (c+d x) (a+i a \tan (c+d x))^2}{d}+\frac{(i A-B) \left (a^3+i a^3 \tan (c+d x)\right )}{d}\\ \end{align*}
Mathematica [B] time = 4.20123, size = 291, normalized size = 2.51 \[ \frac{a^3 \csc (c) \sec (c) \csc (c+d x) \sec (c+d x) \left (4 (3 A-i B) \sin (2 c) \sin (2 (c+d x)) \tan ^{-1}(\tan (4 c+d x))+\cos (2 d x) \left ((B+3 i A) \log \left (\sin ^2(c+d x)\right )+(3 B+i A) \log \left (\cos ^2(c+d x)\right )+2 d x (-7 A+5 i B)\right )+4 A \sin (2 (c+d x))+14 A d x \cos (4 c+2 d x)-i A \cos (4 c+2 d x) \log \left (\cos ^2(c+d x)\right )-3 i A \cos (4 c+2 d x) \log \left (\sin ^2(c+d x)\right )-4 A \sin (2 c)+4 A \sin (2 d x)+4 i B \sin (2 (c+d x))-10 i B d x \cos (4 c+2 d x)-3 B \cos (4 c+2 d x) \log \left (\cos ^2(c+d x)\right )-B \cos (4 c+2 d x) \log \left (\sin ^2(c+d x)\right )-4 i B \sin (2 c)-4 i B \sin (2 d x)\right )}{16 d} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A] time = 0.061, size = 134, normalized size = 1.2 \begin{align*} 4\,iBx{a}^{3}+{\frac{iA{a}^{3}\ln \left ( \cos \left ( dx+c \right ) \right ) }{d}}+{\frac{3\,iA{a}^{3}\ln \left ( \sin \left ( dx+c \right ) \right ) }{d}}-4\,A{a}^{3}x-{\frac{iB\tan \left ( dx+c \right ){a}^{3}}{d}}+{\frac{4\,iB{a}^{3}c}{d}}-{\frac{A\cot \left ( dx+c \right ){a}^{3}}{d}}-4\,{\frac{A{a}^{3}c}{d}}+3\,{\frac{B{a}^{3}\ln \left ( \cos \left ( dx+c \right ) \right ) }{d}}+{\frac{B{a}^{3}\ln \left ( \sin \left ( dx+c \right ) \right ) }{d}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A] time = 1.56119, size = 115, normalized size = 0.99 \begin{align*} -\frac{{\left (d x + c\right )}{\left (4 \, A - 4 i \, B\right )} a^{3} + 2 \,{\left (i \, A + B\right )} a^{3} \log \left (\tan \left (d x + c\right )^{2} + 1\right ) -{\left (3 i \, A + B\right )} a^{3} \log \left (\tan \left (d x + c\right )\right ) + i \, B a^{3} \tan \left (d x + c\right ) + \frac{A a^{3}}{\tan \left (d x + c\right )}}{d} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 1.40567, size = 360, normalized size = 3.1 \begin{align*} \frac{{\left (-2 i \, A + 2 \, B\right )} a^{3} e^{\left (2 i \, d x + 2 i \, c\right )} +{\left (-2 i \, A - 2 \, B\right )} a^{3} +{\left ({\left (i \, A + 3 \, B\right )} a^{3} e^{\left (4 i \, d x + 4 i \, c\right )} +{\left (-i \, A - 3 \, B\right )} a^{3}\right )} \log \left (e^{\left (2 i \, d x + 2 i \, c\right )} + 1\right ) +{\left ({\left (3 i \, A + B\right )} a^{3} e^{\left (4 i \, d x + 4 i \, c\right )} +{\left (-3 i \, A - B\right )} a^{3}\right )} \log \left (e^{\left (2 i \, d x + 2 i \, c\right )} - 1\right )}{d e^{\left (4 i \, d x + 4 i \, c\right )} - d} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [B] time = 3.94357, size = 199, normalized size = 1.72 \begin{align*} \frac{- \frac{\left (2 i A a^{3} - 2 B a^{3}\right ) e^{- 2 i c} e^{2 i d x}}{d} - \frac{\left (2 i A a^{3} + 2 B a^{3}\right ) e^{- 4 i c}}{d}}{e^{4 i d x} - e^{- 4 i c}} + \operatorname{RootSum}{\left (z^{2} d^{2} + z \left (- 4 i A a^{3} d - 4 B a^{3} d\right ) - 3 A^{2} a^{6} + 10 i A B a^{6} + 3 B^{2} a^{6}, \left ( i \mapsto i \log{\left (\frac{i i d}{A a^{3} e^{2 i c} + i B a^{3} e^{2 i c}} + \frac{2 A - 2 i B}{A e^{2 i c} + i B e^{2 i c}} + e^{2 i d x} \right )} \right )\right )} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [B] time = 1.59254, size = 351, normalized size = 3.03 \begin{align*} \frac{3 \, A a^{3} \tan \left (\frac{1}{2} \, d x + \frac{1}{2} \, c\right ) - 48 \,{\left (i \, A a^{3} + B a^{3}\right )} \log \left (\tan \left (\frac{1}{2} \, d x + \frac{1}{2} \, c\right ) + i\right ) + 6 \,{\left (i \, A a^{3} + 3 \, B a^{3}\right )} \log \left ({\left | \tan \left (\frac{1}{2} \, d x + \frac{1}{2} \, c\right ) + 1 \right |}\right ) + 6 \,{\left (i \, A a^{3} + 3 \, B a^{3}\right )} \log \left ({\left | \tan \left (\frac{1}{2} \, d x + \frac{1}{2} \, c\right ) - 1 \right |}\right ) - 6 \,{\left (-3 i \, A a^{3} - B a^{3}\right )} \log \left ({\left | \tan \left (\frac{1}{2} \, d x + \frac{1}{2} \, c\right ) \right |}\right ) + \frac{-10 i \, A a^{3} \tan \left (\frac{1}{2} \, d x + \frac{1}{2} \, c\right )^{3} - 14 \, B a^{3} \tan \left (\frac{1}{2} \, d x + \frac{1}{2} \, c\right )^{3} - 3 \, A a^{3} \tan \left (\frac{1}{2} \, d x + \frac{1}{2} \, c\right )^{2} + 12 i \, B a^{3} \tan \left (\frac{1}{2} \, d x + \frac{1}{2} \, c\right )^{2} + 10 i \, A a^{3} \tan \left (\frac{1}{2} \, d x + \frac{1}{2} \, c\right ) + 14 \, B a^{3} \tan \left (\frac{1}{2} \, d x + \frac{1}{2} \, c\right ) + 3 \, A a^{3}}{\tan \left (\frac{1}{2} \, d x + \frac{1}{2} \, c\right )^{3} - \tan \left (\frac{1}{2} \, d x + \frac{1}{2} \, c\right )}}{6 \, d} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]